Disable all extensions in reverse order

So we avoid having to disable and enable an extension that is to
be disabled later anyway.

https://bugzilla.gnome.org/show_bug.cgi?id=700784

diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index 8c12e976b1e02b97844f221cb89f81e844949d0f..a929451d5298da0ed24764ba30d0bb0b0c0017c7 100644 (file)
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -292,7 +292,7 @@ function disableAllExtensions() {
         return;
 
     if (initted) {
-        enabledExtensions.forEach(function(uuid) {
+        extensionOrder.slice().reverse().forEach(function(uuid) {
             disableExtension(uuid);
         });
     }